COMMENT ⊗   VALID 00003 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	This is DVItype, Version 2.7
C00028 00003	1525: push 
C00077 ENDMK
C⊗;
This is DVItype, Version 2.7
Options selected:
  Starting page = * 
  Maximum number of pages = 1000000
  Output level = 3 (the works)
  Resolution =  300.00000000 pixels per inch
numerator/denominator=25400000/473628672
magnification=1000;       0.00006334 pixels per DVI unit
' TeX output 1985.02.06:1509'
Postamble starts at byte 2358.
maxv=43725786, maxh=30785863, maxstackdepth=13, totalpages=1
Font 23: ambx10---loaded at size 655360 DVI units 
Font 18: amex10---loaded at size 655360 DVI units 
Font 17: amsy5---loaded at size 327680 DVI units 
Font 15: amsy7---loaded at size 458752 DVI units 
Font 12: amsy10---loaded at size 655360 DVI units 
Font 9: ammi7---loaded at size 458752 DVI units 
Font 6: ammi10---loaded at size 655360 DVI units 
Font 5: amr5---loaded at size 327680 DVI units 
Font 3: amr7---loaded at size 458752 DVI units 
Font 0: amr10---loaded at size 655360 DVI units 
 

954: pop 
level 1:(h=0,v=5767168,w=0,x=0,y=786432,z=0,hh=0,vv=365) 
955: down3 2471615 v:=5767168+2471615=8238783, vv:=522 
959: push 
level 1:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
960: push 
level 2:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
961: down3 -819199 v:=8238783-819199=7419584, vv:=470 
965: push 
level 3:(h=0,v=7419584,w=0,x=0,y=786432,z=0,hh=0,vv=470) 
966: right3 3621022 h:=0+3621022=3621022, hh:=229 
[ ]
970: fntdef1 15: amsy7 
991: fntnum15 current font is amsy7 
992: setchar49 h:=3621022+538851=4159873, hh:=263 
[1]
993: pop 
level 3:(h=0,v=7419584,w=0,x=0,y=786432,z=0,hh=0,vv=470) 
994: down3 819199 v:=7419584+819199=8238783, vv:=522 
998: push 
level 3:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
999: push 
level 4:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
1000: right3 3417132 h:=0+3417132=3417132, hh:=216 
[ ]
1004: down3 -622592 v:=8238783-622592=7616191, vv:=482 
1008: fntdef1 18: amex10 
1030: fntnum18 current font is amex10 
1031: setchar88 h:=3417132+946631=4363763, hh:=276 
[X]
1032: pop 
level 4:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
1033: pop 
level 3:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
1034: down3 788251 v:=8238783+788251=9027034, vv:=572 
1038: push 
level 3:(h=0,v=9027034,w=0,x=0,y=786432,z=0,hh=0,vv=572) 
1039: right3 3445122 h:=0+3445122=3445122, hh:=218 
[ ]
1043: fntdef1 9: ammi7 
1064: fntnum9 current font is ammi7 
1065: setchar105 h:=3445122+191601=3636723, hh:=230 
[i]
1066: fntdef1 3: amr7 
1086: fntnum3 current font is amr7 
1087: setchar61 h:=3636723+422343=4059066, hh:=257 
1088: setchar49 h:=4059066+276707=4335773, hh:=275 
[=1]
1089: pop 
level 3:(h=0,v=9027034,w=0,x=0,y=786432,z=0,hh=0,vv=572) 
1090: pop 
level 2:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
1091: push 
level 2:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
1092: push 
level 3:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
1093: push 
level 4:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
1094: down3 -443358 v:=8238783-443358=7795425, vv:=494 
1098: push 
level 5:(h=0,v=7795425,w=0,x=0,y=786432,z=0,hh=0,vv=494) 
1099: right3 4663815 h:=0+4663815=4663815, hh:=295 
[ ]
1103: fntnum0 current font is amr10 
1104: setchar49 h:=4663815+327680=4991495, hh:=316 
[1]
1105: pop 
level 5:(h=0,v=7795425,w=0,x=0,y=786432,z=0,hh=0,vv=494) 
1106: right3 4551630 h:=0+4551630=4551630, hh:=288 
[ ]
1110: down3 292625 v:=7795425+292625=8088050, vv:=513 
1114: putrule height 26214, width 552049 (2x35 pixels) 
1123: down3 600281 v:=8088050+600281=8688331, vv:=550 
1127: push 
level 5:(h=4551630,v=8688331,w=0,x=0,y=786432,z=0,hh=288,vv=550) 
1128: setchar50 h:=4551630+327680=4879310, hh:=309 
[2]
1129: push 
level 6:(h=4879310,v=8688331,w=0,x=0,y=786432,z=0,hh=309,vv=550) 
1130: down3 -189326 v:=8688331-189326=8499005, vv:=538 
1134: fntnum9 current font is ammi7 
1135: setchar105 h:=4879310+191601=5070911, hh:=321 
[i]
1136: pop 
level 6:(h=4879310,v=8688331,w=0,x=0,y=786432,z=0,hh=309,vv=550) 
1137: pop 
level 5:(h=4551630,v=8688331,w=0,x=0,y=786432,z=0,hh=288,vv=550) 
1138: pop 
level 4:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
1139: pop 
level 3:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
1140: pop 
level 2:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
1141: right3 5364362 h:=0+5364362=5364362, hh:=340 
[ ]
1145: fntnum0 current font is amr10 
1146: setchar61 h:=5364362+509724=5874086, hh:=372 
1147: right3 182040 h:=5874086+182040=6056126, hh:=384 
1151: setchar49 h:=6056126+327680=6383806, hh:=405 
[= 1]
1152: fntdef1 6: ammi10 
1174: fntnum6 current font is ammi10 
1175: setchar59 h:=6383806+182044=6565850, hh:=417 
1176: w3 764584 h:=6565850+764584=7330434, hh:=464 
[; ]
1180: fntdef1 12: amsy10 
1202: fntnum12 current font is amsy10 
1203: setchar102 h:=7330434+327680=7658114, hh:=485 
[f]
1204: push 
level 2:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1205: push 
level 3:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1206: push 
level 4:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1207: push 
level 5:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1208: push 
level 6:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1209: push 
level 7:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1210: down3 -1094450 v:=8238783-1094450=7144333, vv:=453 
1214: push 
level 8:(h=7658114,v=7144333,w=764584,x=0,y=786432,z=0,hh=485,vv=453) 
1215: right3 512575 h:=7658114+512575=8170689, hh:=518 
[ ]
1219: fntnum9 current font is ammi7 
1220: setchar107 h:=8170689+286265=8456954, hh:=536 
1221: right3 164192 h:=8456954+164192=8621146, hh:=546 
1225: setchar97 h:=8621146+291999=8913145, hh:=564 
[k a]
1226: fntnum3 current font is amr7 
1227: setchar39 h:=8913145+160198=9073343, hh:=574 
1228: setchar115 h:=9073343+221366=9294709, hh:=588 
['s]
1229: pop 
level 8:(h=7658114,v=7144333,w=764584,x=0,y=786432,z=0,hh=485,vv=453) 
1230: down3 1094450 v:=7144333+1094450=8238783, vv:=522 
1234: push 
level 8:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1235: down3 -688128 v:=8238783-688128=7550655, vv:=478 
1239: push 
level 9:(h=7658114,v=7550655,w=764584,x=0,y=786432,z=0,hh=485,vv=478) 
1240: push 
level 10:(h=7658114,v=7550655,w=764584,x=0,y=786432,z=0,hh=485,vv=478) 
1241: fntnum18 current font is amex10 
1242: setchar122 h:=7658114+294911=7953025, hh:=504 
[z]
1243: setrule height 78643, width 484763 (5x31 pixels) 
 h:=7953025+484763=8437788, hh:=535 
1252: setchar125 h:=8437788+294911=8732699, hh:=554 
1253: setchar124 h:=8732699+294911=9027610, hh:=573 
[}|]
1254: setrule height 78643, width 484763 (5x31 pixels) 
 h:=9027610+484763=9512373, hh:=604 
1263: setchar123 h:=9512373+294911=9807284, hh:=623 
[{]
1264: pop 
level 10:(h=7658114,v=7550655,w=764584,x=0,y=786432,z=0,hh=485,vv=478) 
1265: pop 
level 9:(h=7658114,v=7550655,w=764584,x=0,y=786432,z=0,hh=485,vv=478) 
1266: down3 688128 v:=7550655+688128=8238783, vv:=522 
1270: push 
level 9:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1271: push 
level 10:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1272: push 
level 11:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1273: fntnum6 current font is ammi10 
1274: setchar97 h:=7658114+346415=8004529, hh:=507 
1275: setchar59 h:=8004529+182044=8186573, hh:=519 
[a;]
1276: push 
level 12:(h=8186573,v=8238783,w=764584,x=0,y=786432,z=0,hh=519,vv=522) 
1277: w3 109224 h:=8186573+109224=8295797, hh:=526 
1281: fntnum0 current font is amr10 
1282: setchar46 h:=8295797+182044=8477841, hh:=538 
1283: w0 109224 h:=8477841+109224=8587065, hh:=545 
1284: setchar46 h:=8587065+182044=8769109, hh:=557 
1285: w0 109224 h:=8769109+109224=8878333, hh:=564 
1286: setchar46 h:=8878333+182044=9060377, hh:=576 
[...]
1287: pop 
level 12:(h=8186573,v=8238783,w=764584,x=0,y=786432,z=0,hh=519,vv=522) 
1288: right3 983028 h:=8186573+983028=9169601, hh:=581 
[ ]
1292: fntnum6 current font is ammi10 
1293: setchar59 h:=9169601+182044=9351645, hh:=593 
1294: right3 109224 h:=9351645+109224=9460869, hh:=600 
1298: setchar97 h:=9460869+346415=9807284, hh:=622 
[;a]
1299: pop 
level 11:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1300: pop 
level 10:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1301: pop 
level 9:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1302: pop 
level 8:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1303: pop 
level 7:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1304: right3 2149170 h:=7658114+2149170=9807284, hh:=621 
1308: setchar59 h:=9807284+182044=9989328, hh:=633 
[ ;]
1309: push 
level 7:(h=9989328,v=8238783,w=764584,x=0,y=786432,z=0,hh=633,vv=522) 
1310: down3 -1094450 v:=8238783-1094450=7144333, vv:=453 
1314: push 
level 8:(h=9989328,v=7144333,w=764584,x=0,y=786432,z=0,hh=633,vv=453) 
1315: right3 648211 h:=9989328+648211=10637539, hh:=674 
[ ]
1319: fntnum9 current font is ammi7 
1320: setchar108 h:=10637539+169756=10807295, hh:=685 
1321: right3 154180 h:=10807295+154180=10961475, hh:=694 
1325: setchar98 h:=10961475+235383=11196858, hh:=709 
[l b]
1326: fntnum3 current font is amr7 
1327: setchar39 h:=11196858+160198=11357056, hh:=719 
1328: setchar115 h:=11357056+221366=11578422, hh:=733 
['s]
1329: pop 
level 8:(h=9989328,v=7144333,w=764584,x=0,y=786432,z=0,hh=633,vv=453) 
1330: down3 1094450 v:=7144333+1094450=8238783, vv:=522 
1334: push 
level 8:(h=9989328,v=8238783,w=764584,x=0,y=786432,z=0,hh=633,vv=522) 
1335: down3 -688128 v:=8238783-688128=7550655, vv:=478 
1339: push 
level 9:(h=9989328,v=7550655,w=764584,x=0,y=786432,z=0,hh=633,vv=478) 
1340: push 
level 10:(h=9989328,v=7550655,w=764584,x=0,y=786432,z=0,hh=633,vv=478) 
1341: right3 109224 h:=9989328+109224=10098552, hh:=640 
[ ]
1345: fntnum18 current font is amex10 
1346: setchar122 h:=10098552+294911=10393463, hh:=659 
[z]
1347: setrule height 78643, width 419606 (5x27 pixels) 
 h:=10393463+419606=10813069, hh:=686 
1356: setchar125 h:=10813069+294911=11107980, hh:=705 
1357: setchar124 h:=11107980+294911=11402891, hh:=724 
[}|]
1358: setrule height 78643, width 419606 (5x27 pixels) 
 h:=11402891+419606=11822497, hh:=751 
1367: setchar123 h:=11822497+294911=12117408, hh:=770 
[{]
1368: pop 
level 10:(h=9989328,v=7550655,w=764584,x=0,y=786432,z=0,hh=633,vv=478) 
1369: pop 
level 9:(h=9989328,v=7550655,w=764584,x=0,y=786432,z=0,hh=633,vv=478) 
1370: down3 688128 v:=7550655+688128=8238783, vv:=522 
1374: push 
level 9:(h=9989328,v=8238783,w=764584,x=0,y=786432,z=0,hh=633,vv=522) 
1375: push 
level 10:(h=9989328,v=8238783,w=764584,x=0,y=786432,z=0,hh=633,vv=522) 
1376: push 
level 11:(h=9989328,v=8238783,w=764584,x=0,y=786432,z=0,hh=633,vv=522) 
1377: w3 109224 h:=9989328+109224=10098552, hh:=640 
1381: fntnum6 current font is ammi10 
1382: setchar98 h:=10098552+281258=10379810, hh:=658 
1383: setchar59 h:=10379810+182044=10561854, hh:=670 
[b;]
1384: push 
level 12:(h=10561854,v=8238783,w=109224,x=0,y=786432,z=0,hh=670,vv=522) 
1385: w0 109224 h:=10561854+109224=10671078, hh:=677 
1386: fntnum0 current font is amr10 
1387: setchar46 h:=10671078+182044=10853122, hh:=689 
1388: w0 109224 h:=10853122+109224=10962346, hh:=696 
1389: setchar46 h:=10962346+182044=11144390, hh:=708 
1390: w0 109224 h:=11144390+109224=11253614, hh:=715 
1391: setchar46 h:=11253614+182044=11435658, hh:=726 
[...]
1392: pop 
level 12:(h=10561854,v=8238783,w=109224,x=0,y=786432,z=0,hh=670,vv=522) 
1393: right3 983028 h:=10561854+983028=11544882, hh:=731 
[ ]
1397: fntnum6 current font is ammi10 
1398: setchar59 h:=11544882+182044=11726926, hh:=743 
1399: w0 109224 h:=11726926+109224=11836150, hh:=750 
1400: setchar98 h:=11836150+281258=12117408, hh:=768 
[;b]
1401: pop 
level 11:(h=9989328,v=8238783,w=764584,x=0,y=786432,z=0,hh=633,vv=522) 
1402: pop 
level 10:(h=9989328,v=8238783,w=764584,x=0,y=786432,z=0,hh=633,vv=522) 
1403: pop 
level 9:(h=9989328,v=8238783,w=764584,x=0,y=786432,z=0,hh=633,vv=522) 
1404: pop 
level 8:(h=9989328,v=8238783,w=764584,x=0,y=786432,z=0,hh=633,vv=522) 
1405: pop 
level 7:(h=9989328,v=8238783,w=764584,x=0,y=786432,z=0,hh=633,vv=522) 
1406: pop 
level 6:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1407: pop 
level 5:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1408: pop 
level 4:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1409: down3 439091 v:=8238783+439091=8677874, vv:=550 
1413: push 
level 4:(h=7658114,v=8677874,w=764584,x=0,y=786432,z=0,hh=485,vv=550) 
1414: push 

level 5:(h=7658114,v=8677874,w=764584,x=0,y=786432,z=0,hh=485,vv=550) 
1415: fntnum18 current font is amex10 
1416: setchar124 h:=7658114+294911=7953025, hh:=504 
[|]
1417: setrule height 78643, width 1639825 (5x104 pixels) 
 h:=7953025+1639825=9592850, hh:=608 
1426: setchar123 h:=9592850+294911=9887761, hh:=627 
1427: setchar122 h:=9887761+294911=10182672, hh:=646 
[{z]
1428: setrule height 78643, width 1639825 (5x104 pixels) 
 h:=10182672+1639825=11822497, hh:=750 
1437: setchar125 h:=11822497+294911=12117408, hh:=769 
[}]

1438: pop 
level 5:(h=7658114,v=8677874,w=764584,x=0,y=786432,z=0,hh=485,vv=550) 
1439: pop 
level 4:(h=7658114,v=8677874,w=764584,x=0,y=786432,z=0,hh=485,vv=550) 
1440: pop 
level 3:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1441: down3 1063502 v:=8238783+1063502=9302285, vv:=589 
1445: push 
level 3:(h=7658114,v=9302285,w=764584,x=0,y=786432,z=0,hh=485,vv=589) 
1446: right3 665393 h:=7658114+665393=8323507, hh:=527 
[ ]
1450: fntnum9 current font is ammi7 
1451: setchar107 h:=8323507+286265=8609772, hh:=545 
1452: right2 10467 h:=8609772+10467=8620239, hh:=546 
[k]
1455: fntnum3 current font is amr7 
1456: setchar43 h:=8620239+422343=9042582, hh:=573 
[+]
1457: fntnum9 current font is ammi7 
1458: setchar108 h:=9042582+169756=9212338, hh:=584 
1459: right3 154180 h:=9212338+154180=9366518, hh:=593 
[l ]
1463: fntnum3 current font is amr7 
1464: setchar101 h:=9366518+247580=9614098, hh:=609 
1465: setchar108 h:=9614098+160198=9774296, hh:=619 
1466: setchar101 h:=9774296+247580=10021876, hh:=635 
1467: setchar109 h:=10021876+451470=10473346, hh:=664 
1468: setchar101 h:=10473346+247580=10720926, hh:=680 
1469: setchar110 h:=10720926+305834=11026760, hh:=699 
1470: right2 -14564 h:=11026760-14564=11012196, hh:=698 
1473: setchar116 h:=11012196+218453=11230649, hh:=712 
1474: setchar115 h:=11230649+221366=11452015, hh:=726 
[elements]
1475: pop 
level 3:(h=7658114,v=9302285,w=764584,x=0,y=786432,z=0,hh=485,vv=589) 
1476: pop 
level 2:(h=7658114,v=8238783,w=764584,x=0,y=786432,z=0,hh=485,vv=522) 
1477: right3 4459294 h:=7658114+4459294=12117408, hh:=768 
[ ]
1481: fntnum12 current font is amsy10 
1482: setchar103 h:=12117408+327680=12445088, hh:=789 
[g]
1483: fntnum6 current font is ammi10 
1484: setchar59 h:=12445088+182044=12627132, hh:=801 
[;]
1485: push 
level 2:(h=12627132,v=8238783,w=764584,x=0,y=786432,z=0,hh=801,vv=522) 
1486: push 
level 3:(h=12627132,v=8238783,w=764584,x=0,y=786432,z=0,hh=801,vv=522) 
1487: w0 764584 h:=12627132+764584=13391716, hh:=848 
[ ]
1488: down3 -1154752 v:=8238783-1154752=7084031, vv:=449 
1492: fntnum18 current font is amex10 
1493: setchar114 h:=13391716+655360=14047076, hh:=890 
[r]
1494: pop 
level 3:(h=12627132,v=8238783,w=764584,x=0,y=786432,z=0,hh=801,vv=522) 
1495: push 
level 3:(h=12627132,v=8238783,w=764584,x=0,y=786432,z=0,hh=801,vv=522) 
1496: right3 1419944 h:=12627132+1419944=14047076, hh:=890 
[ ]
1500: down3 -1154752 v:=8238783-1154752=7084031, vv:=449 
1504: putrule height 26214, width 4949310 (2x314 pixels) 
1513: down3 1154752 v:=7084031+1154752=8238783, vv:=522 
1517: push 
level 4:(h=14047076,v=8238783,w=764584,x=0,y=786432,z=0,hh=890,vv=522) 
1518: fntnum0 current font is amr10 
1519: setchar49 h:=14047076+327680=14374756, hh:=911 
1520: w3 145632 h:=14374756+145632=14520388, hh:=920 
1524: setchar43 h:=14520388+509724=15030112, hh:=952 
[1 +]

1525: push 
level 5:(h=15030112,v=8238783,w=145632,x=0,y=786432,z=0,hh=952,vv=522) 
1526: push 
level 6:(h=15030112,v=8238783,w=145632,x=0,y=786432,z=0,hh=952,vv=522) 
1527: w0 145632 h:=15030112+145632=15175744, hh:=961 
[ ]
1528: down3 -883552 v:=8238783-883552=7355231, vv:=466 
1532: fntnum18 current font is amex10 
1533: setchar113 h:=15175744+655360=15831104, hh:=1003 
[q]
1534: pop 
level 6:(h=15030112,v=8238783,w=145632,x=0,y=786432,z=0,hh=952,vv=522) 
1535: push 
level 6:(h=15030112,v=8238783,w=145632,x=0,y=786432,z=0,hh=952,vv=522) 
1536: right3 800992 h:=15030112+800992=15831104, hh:=1003 
[ ]
1540: down3 -883552 v:=8238783-883552=7355231, vv:=466 
1544: putrule height 26214, width 3165282 (2x201 pixels) 
1553: down3 883552 v:=7355231+883552=8238783, vv:=522 
1557: push 
level 7:(h=15831104,v=8238783,w=145632,x=0,y=786432,z=0,hh=1003,vv=522) 
1558: fntnum0 current font is amr10 
1559: setchar49 h:=15831104+327680=16158784, hh:=1024 
1560: w0 145632 h:=16158784+145632=16304416, hh:=1033 
1561: setchar43 h:=16304416+509724=16814140, hh:=1065 
[1 +]
1562: push 
level 8:(h=16814140,v=8238783,w=145632,x=0,y=786432,z=0,hh=1065,vv=522) 
1563: push 
level 9:(h=16814140,v=8238783,w=145632,x=0,y=786432,z=0,hh=1065,vv=522) 
1564: w0 145632 h:=16814140+145632=16959772, hh:=1074 
[ ]
1565: down3 -546816 v:=8238783-546816=7691967, vv:=487 
1569: fntnum12 current font is amsy10 
1570: setchar112 h:=16959772+546133=17505905, hh:=1109 
[p]
1571: pop 
level 9:(h=16814140,v=8238783,w=145632,x=0,y=786432,z=0,hh=1065,vv=522) 
1572: push 
level 9:(h=16814140,v=8238783,w=145632,x=0,y=786432,z=0,hh=1065,vv=522) 
1573: right3 691765 h:=16814140+691765=17505905, hh:=1109 
[ ]
1577: down3 -546816 v:=8238783-546816=7691967, vv:=487 
1581: putrule height 26214, width 1490481 (2x95 pixels) 
1590: down3 546816 v:=7691967+546816=8238783, vv:=522 
1594: push 
level 10:(h=17505905,v=8238783,w=145632,x=0,y=786432,z=0,hh=1109,vv=522) 
1595: fntnum0 current font is amr10 
1596: setchar49 h:=17505905+327680=17833585, hh:=1130 
1597: w0 145632 h:=17833585+145632=17979217, hh:=1139 
1598: setchar43 h:=17979217+509724=18488941, hh:=1171 
1599: w0 145632 h:=18488941+145632=18634573, hh:=1180 
[1 + ]
1600: fntnum6 current font is ammi10 
1601: setchar120 h:=18634573+361813=18996386, hh:=1203 
[x]
1602: pop 
level 10:(h=17505905,v=8238783,w=145632,x=0,y=786432,z=0,hh=1109,vv=522) 
1603: pop 
level 9:(h=16814140,v=8238783,w=145632,x=0,y=786432,z=0,hh=1065,vv=522) 
1604: pop 
level 8:(h=16814140,v=8238783,w=145632,x=0,y=786432,z=0,hh=1065,vv=522) 
1605: pop 
level 7:(h=15831104,v=8238783,w=145632,x=0,y=786432,z=0,hh=1003,vv=522) 
1606: pop 
level 6:(h=15030112,v=8238783,w=145632,x=0,y=786432,z=0,hh=952,vv=522) 
1607: pop 
level 5:(h=15030112,v=8238783,w=145632,x=0,y=786432,z=0,hh=952,vv=522) 
1608: pop 
level 4:(h=14047076,v=8238783,w=764584,x=0,y=786432,z=0,hh=890,vv=522) 
1609: pop 
level 3:(h=12627132,v=8238783,w=764584,x=0,y=786432,z=0,hh=801,vv=522) 
1610: pop 
level 2:(h=12627132,v=8238783,w=764584,x=0,y=786432,z=0,hh=801,vv=522) 
1611: right3 6369254 h:=12627132+6369254=18996386, hh:=1203 
1615: setchar59 h:=18996386+182044=19178430, hh:=1215 
1616: w0 764584 h:=19178430+764584=19943014, hh:=1263 
1617: setchar65 h:=19943014+491520=20434534, hh:=1294 
1618: w3 182040 h:=20434534+182040=20616574, hh:=1306 
[ ; A ]
1622: fntnum0 current font is amr10 
1623: setchar61 h:=20616574+509724=21126298, hh:=1338 
[=]
1624: push 
level 2:(h=21126298,v=8238783,w=182040,x=0,y=786432,z=0,hh=1338,vv=522) 
1625: push 
level 3:(h=21126298,v=8238783,w=182040,x=0,y=786432,z=0,hh=1338,vv=522) 
1626: down3 -1343488 v:=8238783-1343488=6895295, vv:=437 
1630: push 
level 4:(h=21126298,v=6895295,w=182040,x=0,y=786432,z=0,hh=1338,vv=437) 
1631: w0 182040 h:=21126298+182040=21308338, hh:=1350 
[ ]
1632: fntnum18 current font is amex10 
1633: setchar48 h:=21308338+573440=21881778, hh:=1386 
[0]
1634: pop 
level 4:(h=21126298,v=6895295,w=182040,x=0,y=786432,z=0,hh=1338,vv=437) 
1635: down3 1179648 v:=6895295+1179648=8074943, vv:=511 
1639: push 
level 4:(h=21126298,v=8074943,w=182040,x=0,y=786432,z=0,hh=1338,vv=511) 
1640: w0 182040 h:=21126298+182040=21308338, hh:=1350 
1641: setchar64 h:=21308338+573440=21881778, hh:=1386 
[ @]
1642: pop 
level 4:(h=21126298,v=8074943,w=182040,x=0,y=786432,z=0,hh=1338,vv=511) 
1643: pop 
level 3:(h=21126298,v=8238783,w=182040,x=0,y=786432,z=0,hh=1338,vv=522) 
1644: push 
level 3:(h=21126298,v=8238783,w=182040,x=0,y=786432,z=0,hh=1338,vv=522) 
1645: down3 -968476 v:=8238783-968476=7270307, vv:=461 
1649: push 
level 4:(h=21126298,v=7270307,w=182040,x=0,y=786432,z=0,hh=1338,vv=461) 
1650: push 
level 5:(h=21126298,v=7270307,w=182040,x=0,y=786432,z=0,hh=1338,vv=461) 
1651: right3 966194 h:=21126298+966194=22092492, hh:=1399 
[ ]
1655: fntnum6 current font is ammi10 
1656: setchar97 h:=22092492+346415=22438907, hh:=1421 
[a]
1657: push 
level 6:(h=22438907,v=7270307,w=182040,x=0,y=786432,z=0,hh=1421,vv=461) 
1658: down3 98303 v:=7270307+98303=7368610, vv:=467 
1662: fntnum3 current font is amr7 
1663: setchar49 h:=22438907+276707=22715614, hh:=1439 
1664: setchar49 h:=22715614+276707=22992321, hh:=1457 
[11]
1665: pop 
level 6:(h=22438907,v=7270307,w=182040,x=0,y=786432,z=0,hh=1421,vv=461) 
1666: pop 
level 5:(h=21126298,v=7270307,w=182040,x=0,y=786432,z=0,hh=1338,vv=461) 
1667: push 
level 5:(h=21126298,v=7270307,w=182040,x=0,y=786432,z=0,hh=1338,vv=461) 
1668: push 
level 6:(h=21126298,v=7270307,w=182040,x=0,y=786432,z=0,hh=1338,vv=461) 
1669: right3 2655641 h:=21126298+2655641=23781939, hh:=1506 
[ ]
1673: fntnum0 current font is amr10 
1674: setchar46 h:=23781939+182044=23963983, hh:=1518 
1675: w3 109224 h:=23963983+109224=24073207, hh:=1525 
1679: setchar46 h:=24073207+182044=24255251, hh:=1537 
1680: w0 109224 h:=24255251+109224=24364475, hh:=1544 
1681: setchar46 h:=24364475+182044=24546519, hh:=1556 
[...]
1682: pop 
level 6:(h=21126298,v=7270307,w=182040,x=0,y=786432,z=0,hh=1338,vv=461) 
1683: pop 
level 5:(h=21126298,v=7270307,w=182040,x=0,y=786432,z=0,hh=1338,vv=461) 
1684: push 
level 5:(h=21126298,v=7270307,w=182040,x=0,y=786432,z=0,hh=1338,vv=461) 
1685: right3 4177071 h:=21126298+4177071=25303369, hh:=1603 
[ ]
1689: fntnum6 current font is ammi10 
1690: setchar97 h:=25303369+346415=25649784, hh:=1625 
[a]
1691: push 
level 6:(h=25649784,v=7270307,w=182040,x=0,y=786432,z=0,hh=1625,vv=461) 
1692: down3 98303 v:=7270307+98303=7368610, vv:=467 
1696: fntnum3 current font is amr7 
1697: setchar49 h:=25649784+276707=25926491, hh:=1643 
[1]
1698: fntnum9 current font is ammi7 
1699: setchar110 h:=25926491+334051=26260542, hh:=1664 
[n]
1700: pop 
level 6:(h=25649784,v=7270307,w=182040,x=0,y=786432,z=0,hh=1625,vv=461) 
1701: pop 
level 5:(h=21126298,v=7270307,w=182040,x=0,y=786432,z=0,hh=1338,vv=461) 
1702: pop 
level 4:(h=21126298,v=7270307,w=182040,x=0,y=786432,z=0,hh=1338,vv=461) 
1703: down3 1150519 v:=7270307+1150519=8420826, vv:=533 
1707: push 
level 4:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1708: push 
level 5:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1709: push 
level 6:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1710: down3 -524288 v:=8420826-524288=7896538, vv:=500 
1714: push 
level 7:(h=21126298,v=7896538,w=182040,x=0,y=786432,z=0,hh=1338,vv=500) 
1715: right3 1341471 h:=21126298+1341471=22467769, hh:=1423 
[ ]
1719: fntnum0 current font is amr10 
1720: setchar46 h:=22467769+182044=22649813, hh:=1435 
[.]
1721: pop 
level 7:(h=21126298,v=7896538,w=182040,x=0,y=786432,z=0,hh=1338,vv=500) 
1722: y3 262144 v:=7896538+262144=8158682, vv:=517 
1726: push 
level 7:(h=21126298,v=8158682,w=182040,x=0,y=262144,z=0,hh=1338,vv=517) 
1727: right3 1341471 h:=21126298+1341471=22467769, hh:=1423 
1731: setchar46 h:=22467769+182044=22649813, hh:=1435 
[ .]
1732: pop 
level 7:(h=21126298,v=8158682,w=182040,x=0,y=262144,z=0,hh=1338,vv=517) 
1733: y0 262144 v:=8158682+262144=8420826, vv:=534 
1734: push 
level 7:(h=21126298,v=8420826,w=182040,x=0,y=262144,z=0,hh=1338,vv=534) 
1735: right3 1341471 h:=21126298+1341471=22467769, hh:=1423 
1739: setchar46 h:=22467769+182044=22649813, hh:=1435 
[ .]
1740: pop 
level 7:(h=21126298,v=8420826,w=182040,x=0,y=262144,z=0,hh=1338,vv=534) 
1741: pop 
level 6:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1742: pop 
level 5:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1743: push 
level 5:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1744: push 
level 6:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1745: push 
level 7:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1746: down3 -458752 v:=8420826-458752=7962074, vv:=504 
1750: push 
level 8:(h=21126298,v=7962074,w=182040,x=0,y=786432,z=0,hh=1338,vv=504) 
1751: right3 2692049 h:=21126298+2692049=23818347, hh:=1509 
1755: setchar46 h:=23818347+182044=24000391, hh:=1521 
[ .]
1756: pop 
level 8:(h=21126298,v=7962074,w=182040,x=0,y=786432,z=0,hh=1338,vv=504) 
1757: pop 
level 7:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1758: push 
level 7:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1759: right3 2946909 h:=21126298+2946909=24073207, hh:=1525 
[ ]
1763: down3 -262144 v:=8420826-262144=8158682, vv:=516 
1767: setchar46 h:=24073207+182044=24255251, hh:=1537 
[.]
1768: pop 
level 7:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1769: push 
level 7:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1770: right3 3201769 h:=21126298+3201769=24328067, hh:=1541 
[ ]
1774: down3 -65536 v:=8420826-65536=8355290, vv:=529 
1778: setchar46 h:=24328067+182044=24510111, hh:=1553 
[.]
1779: pop 
level 7:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1780: pop 
level 6:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1781: pop 
level 5:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1782: push 
level 5:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1783: push 
level 6:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1784: down3 -524288 v:=8420826-524288=7896538, vv:=500 
1788: push 
level 7:(h=21126298,v=7896538,w=182040,x=0,y=786432,z=0,hh=1338,vv=500) 
1789: right3 4581020 h:=21126298+4581020=25707318, hh:=1628 
1793: setchar46 h:=25707318+182044=25889362, hh:=1640 
[ .]
1794: pop 
level 7:(h=21126298,v=7896538,w=182040,x=0,y=786432,z=0,hh=1338,vv=500) 
1795: y3 262144 v:=7896538+262144=8158682, vv:=517 
1799: push 
level 7:(h=21126298,v=8158682,w=182040,x=0,y=262144,z=0,hh=1338,vv=517) 
1800: right3 4581020 h:=21126298+4581020=25707318, hh:=1628 
1804: setchar46 h:=25707318+182044=25889362, hh:=1640 
[ .]
1805: pop 
level 7:(h=21126298,v=8158682,w=182040,x=0,y=262144,z=0,hh=1338,vv=517) 
1806: y0 262144 v:=8158682+262144=8420826, vv:=534 
1807: push 
level 7:(h=21126298,v=8420826,w=182040,x=0,y=262144,z=0,hh=1338,vv=534) 
1808: right3 4581020 h:=21126298+4581020=25707318, hh:=1628 
1812: setchar46 h:=25707318+182044=25889362, hh:=1640 
[ .]
1813: pop 
level 7:(h=21126298,v=8420826,w=182040,x=0,y=262144,z=0,hh=1338,vv=534) 
1814: pop 
level 6:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1815: pop 
level 5:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1816: pop 
level 4:(h=21126298,v=8420826,w=182040,x=0,y=786432,z=0,hh=1338,vv=533) 
1817: y0 786432 v:=8420826+786432=9207258, vv:=583 
1818: push 
level 4:(h=21126298,v=9207258,w=182040,x=0,y=786432,z=0,hh=1338,vv=583) 
1819: push 
level 5:(h=21126298,v=9207258,w=182040,x=0,y=786432,z=0,hh=1338,vv=583) 
1820: right3 864704 h:=21126298+864704=21991002, hh:=1393 
[ ]
1824: fntnum6 current font is ammi10 
1825: setchar97 h:=21991002+346415=22337417, hh:=1415 
[a]
1826: push 
level 6:(h=22337417,v=9207258,w=182040,x=0,y=786432,z=0,hh=1415,vv=583) 
1827: down3 98303 v:=9207258+98303=9305561, vv:=589 
1831: fntnum9 current font is ammi7 
1832: setchar109 h:=22337417+479687=22817104, hh:=1445 
[m]
1833: fntnum3 current font is amr7 
1834: setchar49 h:=22817104+276707=23093811, hh:=1463 
[1]
1835: pop 
level 6:(h=22337417,v=9207258,w=182040,x=0,y=786432,z=0,hh=1415,vv=583) 
1836: pop 
level 5:(h=21126298,v=9207258,w=182040,x=0,y=786432,z=0,hh=1338,vv=583) 
1837: push 
level 5:(h=21126298,v=9207258,w=182040,x=0,y=786432,z=0,hh=1338,vv=583) 
1838: push 
level 6:(h=21126298,v=9207258,w=182040,x=0,y=786432,z=0,hh=1338,vv=583) 
1839: right3 2655641 h:=21126298+2655641=23781939, hh:=1506 
[ ]
1843: fntnum0 current font is amr10 
1844: setchar46 h:=23781939+182044=23963983, hh:=1518 
1845: w3 109224 h:=23963983+109224=24073207, hh:=1525 
1849: setchar46 h:=24073207+182044=24255251, hh:=1537 
1850: w0 109224 h:=24255251+109224=24364475, hh:=1544 
1851: setchar46 h:=24364475+182044=24546519, hh:=1556 
[...]
1852: pop 
level 6:(h=21126298,v=9207258,w=182040,x=0,y=786432,z=0,hh=1338,vv=583) 
1853: pop 
level 5:(h=21126298,v=9207258,w=182040,x=0,y=786432,z=0,hh=1338,vv=583) 
1854: push 
level 5:(h=21126298,v=9207258,w=182040,x=0,y=786432,z=0,hh=1338,vv=583) 
1855: right3 4075581 h:=21126298+4075581=25201879, hh:=1596 
[ ]
1859: fntnum6 current font is ammi10 
1860: setchar97 h:=25201879+346415=25548294, hh:=1618 
[a]
1861: push 
level 6:(h=25548294,v=9207258,w=182040,x=0,y=786432,z=0,hh=1618,vv=583) 
1862: down3 98303 v:=9207258+98303=9305561, vv:=589 
1866: fntnum9 current font is ammi7 
1867: setchar109 h:=25548294+479687=26027981, hh:=1648 
1868: setchar110 h:=26027981+334051=26362032, hh:=1669 
[mn]
1869: pop 
level 6:(h=25548294,v=9207258,w=182040,x=0,y=786432,z=0,hh=1618,vv=583) 
1870: pop 
level 5:(h=21126298,v=9207258,w=182040,x=0,y=786432,z=0,hh=1338,vv=583) 
1871: pop 
level 4:(h=21126298,v=9207258,w=182040,x=0,y=786432,z=0,hh=1338,vv=583) 
1872: y0 786432 v:=9207258+786432=9993690, vv:=633 
1873: pop 
level 3:(h=21126298,v=8238783,w=182040,x=0,y=786432,z=0,hh=1338,vv=522) 
1874: push 
level 3:(h=21126298,v=8238783,w=182040,x=0,y=786432,z=0,hh=1338,vv=522) 
1875: down3 -1343488 v:=8238783-1343488=6895295, vv:=437 
1879: push 
level 4:(h=21126298,v=6895295,w=182040,x=0,y=786432,z=0,hh=1338,vv=437) 
1880: right3 5377726 h:=21126298+5377726=26504024, hh:=1679 
[ ]
1884: fntnum18 current font is amex10 
1885: setchar49 h:=26504024+573440=27077464, hh:=1715 
[1]
1886: pop 
level 4:(h=21126298,v=6895295,w=182040,x=0,y=786432,z=0,hh=1338,vv=437) 
1887: down3 1179648 v:=6895295+1179648=8074943, vv:=511 
1891: push 
level 4:(h=21126298,v=8074943,w=182040,x=0,y=786432,z=0,hh=1338,vv=511) 
1892: right3 5377726 h:=21126298+5377726=26504024, hh:=1679 
1896: setchar65 h:=26504024+573440=27077464, hh:=1715 
[ A]
1897: pop 
level 4:(h=21126298,v=8074943,w=182040,x=0,y=786432,z=0,hh=1338,vv=511) 
1898: pop 
level 3:(h=21126298,v=8238783,w=182040,x=0,y=786432,z=0,hh=1338,vv=522) 
1899: pop 
level 2:(h=21126298,v=8238783,w=182040,x=0,y=786432,z=0,hh=1338,vv=522) 
1900: right3 6060390 h:=21126298+6060390=27186688, hh:=1722 
[ ]
1904: fntnum6 current font is ammi10 
1905: setchar59 h:=27186688+182044=27368732, hh:=1734 
[;]
1906: pop 
level 1:(h=0,v=8238783,w=0,x=0,y=786432,z=0,hh=0,vv=522) 
1907: down3 3249562 v:=8238783+3249562=11488345, vv:=728 
1911: push 
level 1:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
1912: push 
level 2:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
1913: push 
level 3:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
1914: push 
level 4:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
1915: right3 3004732 h:=0+3004732=3004732, hh:=190 
[ ]
1919: down3 -924057 v:=11488345-924057=10564288, vv:=669 
1923: fntnum18 current font is amex10 
1924: setchar18 h:=3004732+482417=3487149, hh:=221 
1925: pop 
level 4:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
1926: pop 
level 3:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
1927: pop 
level 2:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
1928: push 
level 2:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
1929: right3 3487149 h:=0+3487149=3487149, hh:=221 
[ ]
1933: down3 -709973 v:=11488345-709973=10778372, vv:=683 
1937: setchar90 h:=3487149+364088=3851237, hh:=244 
[Z]
1938: pop 
level 2:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
1939: push 
level 2:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
1940: down3 -729998 v:=11488345-729998=10758347, vv:=681 
1944: push 
level 3:(h=0,v=10758347,w=0,x=0,y=786432,z=0,hh=0,vv=681) 
1945: right3 4142508 h:=0+4142508=4142508, hh:=262 
[ ]
1949: fntnum15 current font is amsy7 
1950: setchar49 h:=4142508+538851=4681359, hh:=296 
[1]
1951: pop 
level 3:(h=0,v=10758347,w=0,x=0,y=786432,z=0,hh=0,vv=681) 
1952: down3 1327103 v:=10758347+1327103=12085450, vv:=766 
1956: push 
level 3:(h=0,v=12085450,w=0,x=0,y=786432,z=0,hh=0,vv=766) 
1957: right3 3851237 h:=0+3851237=3851237, hh:=244 
[ ]
1961: setchar0 h:=3851237+422343=4273580, hh:=271 
1962: setchar49 h:=4273580+538851=4812431, hh:=305 
[1]
1963: pop 
level 3:(h=0,v=12085450,w=0,x=0,y=786432,z=0,hh=0,vv=766) 
1964: pop 
level 2:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
1965: right3 4954423 h:=0+4954423=4954423, hh:=314 
[ ]
1969: fntnum6 current font is ammi10 
1970: setchar101 h:=4954423+283610=5238033, hh:=332 
[e]
1971: push 
level 2:(h=5238033,v=11488345,w=0,x=0,y=786432,z=0,hh=332,vv=728) 
1972: down3 -270590 v:=11488345-270590=11217755, vv:=711 
1976: fntnum15 current font is amsy7 
1977: setchar0 h:=5238033+422343=5660376, hh:=359 
1978: fntnum9 current font is ammi7 
1979: setchar120 h:=5660376+296732=5957108, hh:=378 
[x]
1980: push 
level 3:(h=5957108,v=11217755,w=0,x=0,y=786432,z=0,hh=378,vv=711) 
1981: down3 -197773 v:=11217755-197773=11019982, vv:=698 
1985: fntdef1 5: amr5 
2005: fntnum5 current font is amr5 
2006: setchar50 h:=5957108+241208=6198316, hh:=393 
[2]
2007: pop 
level 3:(h=5957108,v=11217755,w=0,x=0,y=786432,z=0,hh=378,vv=711) 
2008: pop 
level 2:(h=5238033,v=11488345,w=0,x=0,y=786432,z=0,hh=332,vv=728) 
2009: right3 1135043 h:=5238033+1135043=6373076, hh:=404 
[ ]
2013: fntnum6 current font is ammi10 
2014: setchar100 h:=6373076+341105=6714181, hh:=426 
2015: setchar120 h:=6714181+361813=7075994, hh:=449 
[dx]
2016: push 
level 2:(h=7075994,v=11488345,w=0,x=0,y=786432,z=0,hh=449,vv=728) 
2017: push 
level 3:(h=7075994,v=11488345,w=0,x=0,y=786432,z=0,hh=449,vv=728) 
2018: push 
level 4:(h=7075994,v=11488345,w=0,x=0,y=786432,z=0,hh=449,vv=728) 
2019: down3 -924057 v:=11488345-924057=10564288, vv:=669 
2023: fntnum18 current font is amex10 
2024: setchar19 h:=7075994+482417=7558411, hh:=480 
2025: pop 
level 4:(h=7075994,v=11488345,w=0,x=0,y=786432,z=0,hh=449,vv=728) 
2026: pop 
level 3:(h=7075994,v=11488345,w=0,x=0,y=786432,z=0,hh=449,vv=728) 
2027: pop 
level 2:(h=7075994,v=11488345,w=0,x=0,y=786432,z=0,hh=449,vv=728) 
2028: push 
level 2:(h=7075994,v=11488345,w=0,x=0,y=786432,z=0,hh=449,vv=728) 
2029: right3 482417 h:=7075994+482417=7558411, hh:=479 
[ ]
2033: down3 -788253 v:=11488345-788253=10700092, vv:=678 
2037: fntnum3 current font is amr7 
2038: setchar50 h:=7558411+276707=7835118, hh:=497 
[2]
2039: pop 
level 2:(h=7075994,v=11488345,w=0,x=0,y=786432,z=0,hh=449,vv=728) 
2040: right3 973932 h:=7075994+973932=8049926, hh:=510 
[ ]
2044: fntnum0 current font is amr10 
2045: setchar61 h:=8049926+509724=8559650, hh:=542 
2046: w3 182040 h:=8559650+182040=8741690, hh:=554 
[= ]
2050: fntnum6 current font is ammi10 
2051: setchar25 h:=8741690+370293=9111983, hh:=577 
2052: right2 23514 h:=9111983+23514=9135497, hh:=578 
2055: setchar59 h:=9135497+182044=9317541, hh:=590 
2056: right3 764584 h:=9317541+764584=10082125, hh:=639 
[; ]
2060: fntnum0 current font is amr10 
2061: setchar50 h:=10082125+327680=10409805, hh:=660 
2062: w0 182040 h:=10409805+182040=10591845, hh:=671 
[2 ]
2063: fntnum12 current font is amsy10 
2064: setchar34 h:=10591845+327680=10919525, hh:=692 
2065: setchar34 h:=10919525+327680=11247205, hh:=713 
2066: w0 182040 h:=11247205+182040=11429245, hh:=724 
["" ]
2067: fntnum6 current font is ammi10 
2068: setchar107 h:=11429245+341181=11770426, hh:=746 
[k]
2069: push 
level 2:(h=11770426,v=11488345,w=182040,x=0,y=786432,z=0,hh=746,vv=728) 
2070: push 
level 3:(h=11770426,v=11488345,w=182040,x=0,y=786432,z=0,hh=746,vv=728) 
2071: down3 -415128 v:=11488345-415128=11073217, vv:=702 
2075: push 
level 4:(h=11770426,v=11073217,w=182040,x=0,y=786432,z=0,hh=746,vv=702) 
2076: right3 202671 h:=11770426+202671=11973097, hh:=758 
[ ]
2080: fntnum3 current font is amr7 
2081: setchar100 h:=11973097+305834=12278931, hh:=777 
2082: setchar101 h:=12278931+247580=12526511, hh:=793 
2083: setchar102 h:=12526511+174762=12701273, hh:=804 
[def]
2084: pop 
level 4:(h=11770426,v=11073217,w=182040,x=0,y=786432,z=0,hh=746,vv=702) 
2085: down3 415128 v:=11073217+415128=11488345, vv:=728 
2089: push 
level 4:(h=11770426,v=11488345,w=182040,x=0,y=786432,z=0,hh=746,vv=728) 
2090: push 
level 5:(h=11770426,v=11488345,w=182040,x=0,y=786432,z=0,hh=746,vv=728) 
2091: right3 329191 h:=11770426+329191=12099617, hh:=766 
[ ]
2095: down3 -43622 v:=11488345-43622=11444723, vv:=725 
2099: fntnum0 current font is amr10 
2100: setchar61 h:=12099617+509724=12609341, hh:=798 
[=]
2101: pop 
level 5:(h=11770426,v=11488345,w=182040,x=0,y=786432,z=0,hh=746,vv=728) 
2102: pop 
level 4:(h=11770426,v=11488345,w=182040,x=0,y=786432,z=0,hh=746,vv=728) 
2103: pop 
level 3:(h=11770426,v=11488345,w=182040,x=0,y=786432,z=0,hh=746,vv=728) 
2104: pop 
level 2:(h=11770426,v=11488345,w=182040,x=0,y=786432,z=0,hh=746,vv=728) 
2105: right3 1147475 h:=11770426+1147475=12917901, hh:=818 
2109: setchar50 h:=12917901+327680=13245581, hh:=839 
[ 2]
2110: push 
level 2:(h=13245581,v=11488345,w=182040,x=0,y=786432,z=0,hh=839,vv=728) 
2111: down3 -270590 v:=11488345-270590=11217755, vv:=711 
2115: fntnum3 current font is amr7 
2116: setchar50 h:=13245581+276707=13522288, hh:=857 
[2]
2117: push 
level 3:(h=13522288,v=11217755,w=182040,x=0,y=786432,z=0,hh=857,vv=711) 
2118: down3 -197773 v:=11217755-197773=11019982, vv:=698 
2122: fntnum5 current font is amr5 
2123: setchar50 h:=13522288+241208=13763496, hh:=872 
[2]
2124: push 
level 4:(h=13763496,v=11019982,w=182040,x=0,y=786432,z=0,hh=872,vv=698) 
2125: y3 -132237 v:=11019982-132237=10887745, vv:=690 
2129: fntdef1 17: amsy5 
2150: fntnum17 current font is amsy5 
2151: setchar1 h:=13763496+150186=13913682, hh:=882 
2152: push 
level 5:(h=13913682,v=10887745,w=182040,x=0,y=-132237,z=0,hh=882,vv=690) 
2153: y0 -132237 v:=10887745-132237=10755508, vv:=682 
2154: setchar1 h:=13913682+150186=14063868, hh:=892 
2155: push 
level 6:(h=14063868,v=10755508,w=182040,x=0,y=-132237,z=0,hh=892,vv=682) 
2156: y0 -132237 v:=10755508-132237=10623271, vv:=674 
2157: setchar1 h:=14063868+150186=14214054, hh:=902 
2158: push 
level 7:(h=14214054,v=10623271,w=182040,x=0,y=-132237,z=0,hh=902,vv=674) 
2159: y0 -132237 v:=10623271-132237=10491034, vv:=666 
2160: fntnum5 current font is amr5 
2161: setchar50 h:=14214054+241208=14455262, hh:=917 
[2]
2162: pop 
level 7:(h=14214054,v=10623271,w=182040,x=0,y=-132237,z=0,hh=902,vv=674) 
2163: pop 
level 6:(h=14063868,v=10755508,w=182040,x=0,y=-132237,z=0,hh=892,vv=682) 
2164: pop 
level 5:(h=13913682,v=10887745,w=182040,x=0,y=-132237,z=0,hh=882,vv=690) 
2165: pop 
level 4:(h=13763496,v=11019982,w=182040,x=0,y=786432,z=0,hh=872,vv=698) 
2166: pop 
level 3:(h=13522288,v=11217755,w=182040,x=0,y=786432,z=0,hh=857,vv=711) 
2167: pop 
level 2:(h=13245581,v=11488345,w=182040,x=0,y=786432,z=0,hh=839,vv=728) 
2168: push 
level 2:(h=13245581,v=11488345,w=182040,x=0,y=786432,z=0,hh=839,vv=728) 
2169: down3 -425984 v:=11488345-425984=11062361, vv:=701 
2173: push 
level 3:(h=13245581,v=11062361,w=182040,x=0,y=786432,z=0,hh=839,vv=701) 
2174: push 
level 4:(h=13245581,v=11062361,w=182040,x=0,y=786432,z=0,hh=839,vv=701) 
2175: push 
level 5:(h=13245581,v=11062361,w=182040,x=0,y=786432,z=0,hh=839,vv=701) 
2176: push 
level 6:(h=13245581,v=11062361,w=182040,x=0,y=786432,z=0,hh=839,vv=701) 
2177: right3 1406289 h:=13245581+1406289=14651870, hh:=928 
[ ]
2181: down3 -727449 v:=11062361-727449=10334912, vv:=655 
2185: fntnum18 current font is amex10 
2186: setchar111 h:=14651870+436906=15088776, hh:=956 
[o]
2187: pop 
level 6:(h=13245581,v=11062361,w=182040,x=0,y=786432,z=0,hh=839,vv=701) 
2188: pop 
level 5:(h=13245581,v=11062361,w=182040,x=0,y=786432,z=0,hh=839,vv=701) 
2189: pop 
level 4:(h=13245581,v=11062361,w=182040,x=0,y=786432,z=0,hh=839,vv=701) 
2190: right3 1843195 h:=13245581+1843195=15088776, hh:=956 
[ ]
2194: fntnum9 current font is ammi7 
2195: setchar107 h:=15088776+286265=15375041, hh:=974 
[k]
2196: pop 
level 3:(h=13245581,v=11062361,w=182040,x=0,y=786432,z=0,hh=839,vv=701) 
2197: pop 
level 2:(h=13245581,v=11488345,w=182040,x=0,y=786432,z=0,hh=839,vv=728) 
2198: right3 2139927 h:=13245581+2139927=15385508, hh:=975 
[ ]
2202: fntnum6 current font is ammi10 
2203: setchar59 h:=15385508+182044=15567552, hh:=987 
[;]
2204: push 
level 2:(h=15567552,v=11488345,w=182040,x=0,y=786432,z=0,hh=987,vv=728) 
2205: push 
level 3:(h=15567552,v=11488345,w=182040,x=0,y=786432,z=0,hh=987,vv=728) 
2206: push 
level 4:(h=15567552,v=11488345,w=182040,x=0,y=786432,z=0,hh=987,vv=728) 
2207: down3 -443358 v:=11488345-443358=11044987, vv:=700 
2211: push 
level 5:(h=15567552,v=11044987,w=182040,x=0,y=786432,z=0,hh=987,vv=700) 
2212: right3 843227 h:=15567552+843227=16410779, hh:=1039 
2216: setchar102 h:=16410779+320853=16731632, hh:=1059 
2217: x3 70542 h:=16731632+70542=16802174, hh:=1063 
[ f]
2221: fntnum0 current font is amr10 
2222: setchar40 h:=16802174+254862=17057036, hh:=1079 
[(]
2223: fntnum6 current font is ammi10 
2224: setchar120 h:=17057036+361813=17418849, hh:=1102 
2225: w3 145632 h:=17418849+145632=17564481, hh:=1113 
[x ]
2229: fntnum0 current font is amr10 
2230: setchar43 h:=17564481+509724=18074205, hh:=1145 
2231: w0 145632 h:=18074205+145632=18219837, hh:=1154 
[+ ]
2232: setchar1 h:=18219837+546133=18765970, hh:=1189 
2233: fntnum6 current font is ammi10 
2234: setchar120 h:=18765970+361813=19127783, hh:=1212 
[x]
2235: fntnum0 current font is amr10 
2236: setchar41 h:=19127783+254862=19382645, hh:=1228 
2237: w0 145632 h:=19382645+145632=19528277, hh:=1237 
[) ]
2238: fntnum12 current font is amsy10 
2239: setchar0 h:=19528277+509724=20038001, hh:=1269 
2240: w0 145632 h:=20038001+145632=20183633, hh:=1278 
[ ]
2241: fntnum6 current font is ammi10 
2242: setchar102 h:=20183633+320853=20504486, hh:=1298 
2243: x0 70542 h:=20504486+70542=20575028, hh:=1302 
[f]
2244: fntnum0 current font is amr10 
2245: setchar40 h:=20575028+254862=20829890, hh:=1318 
[(]
2246: fntnum6 current font is ammi10 
2247: setchar120 h:=20829890+361813=21191703, hh:=1341 
[x]
2248: fntnum0 current font is amr10 
2249: setchar41 h:=21191703+254862=21446565, hh:=1357 
[)]
2250: pop 
level 5:(h=15567552,v=11044987,w=182040,x=0,y=786432,z=0,hh=987,vv=700) 
2251: right3 843227 h:=15567552+843227=16410779, hh:=1039 
[ ]
2255: down3 292625 v:=11044987+292625=11337612, vv:=719 
2259: putrule height 26214, width 5035786 (2x319 pixels) 
2268: down3 600281 v:=11337612+600281=11937893, vv:=756 
2272: push 
level 5:(h=16410779,v=11937893,w=182040,x=0,y=786432,z=0,hh=1039,vv=756) 
2273: right3 2063920 h:=16410779+2063920=18474699, hh:=1170 
[ ]
2277: setchar1 h:=18474699+546133=19020832, hh:=1205 
2278: fntnum6 current font is ammi10 
2279: setchar120 h:=19020832+361813=19382645, hh:=1228 
[x]
2280: pop 
level 5:(h=16410779,v=11937893,w=182040,x=0,y=786432,z=0,hh=1039,vv=756) 
2281: pop 
level 4:(h=15567552,v=11488345,w=182040,x=0,y=786432,z=0,hh=987,vv=728) 
2282: pop 
level 3:(h=15567552,v=11488345,w=182040,x=0,y=786432,z=0,hh=987,vv=728) 
2283: pop 
level 2:(h=15567552,v=11488345,w=182040,x=0,y=786432,z=0,hh=987,vv=728) 
2284: right3 6139696 h:=15567552+6139696=21707248, hh:=1375 
[ ]
2288: fntnum12 current font is amsy10 
2289: setchar33 h:=21707248+655360=22362608, hh:=1417 
2290: w0 182040 h:=22362608+182040=22544648, hh:=1428 
[! ]
2291: fntnum6 current font is ammi10 
2292: setchar102 h:=22544648+320853=22865501, hh:=1448 
[f]
2293: push 
level 2:(h=22865501,v=11488345,w=182040,x=0,y=786432,z=0,hh=1448,vv=728) 
2294: right3 70542 h:=22865501+70542=22936043, hh:=1452 
2298: down3 -270590 v:=11488345-270590=11217755, vv:=711 
2302: fntnum15 current font is amsy7 
2303: setchar48 h:=22936043+152917=23088960, hh:=1462 
[0]
2304: pop 
level 2:(h=22865501,v=11488345,w=182040,x=0,y=786432,z=0,hh=1448,vv=728) 
2305: right3 256227 h:=22865501+256227=23121728, hh:=1465 
[ ]
2309: fntnum0 current font is amr10 
2310: setchar40 h:=23121728+254862=23376590, hh:=1481 
[(]
2311: fntnum6 current font is ammi10 
2312: setchar120 h:=23376590+361813=23738403, hh:=1504 
[x]
2313: fntnum0 current font is amr10 
2314: setchar41 h:=23738403+254862=23993265, hh:=1520 
[)]
2315: push 
level 2:(h=23993265,v=11488345,w=182040,x=0,y=786432,z=0,hh=1520,vv=728) 
2316: right3 364080 h:=23993265+364080=24357345, hh:=1543 
2320: setchar97 h:=24357345+327680=24685025, hh:=1564 
2321: setchar115 h:=24685025+258503=24943528, hh:=1580 
2322: right3 400493 h:=24943528+400493=25344021, hh:=1605 
[ as ]
2326: setchar1 h:=25344021+546133=25890154, hh:=1640 
2327: fntnum6 current font is ammi10 
2328: setchar120 h:=25890154+361813=26251967, hh:=1663 
2329: w0 182040 h:=26251967+182040=26434007, hh:=1674 
[x ]
2330: fntnum12 current font is amsy10 
2331: setchar33 h:=26434007+655360=27089367, hh:=1716 
2332: w0 182040 h:=27089367+182040=27271407, hh:=1727 
[! ]
2333: fntnum0 current font is amr10 
2334: setchar48 h:=27271407+327680=27599087, hh:=1748 
[0]
2335: pop 
level 2:(h=23993265,v=11488345,w=182040,x=0,y=786432,z=0,hh=1520,vv=728) 
2336: right3 3605822 h:=23993265+3605822=27599087, hh:=1748 
[ ]
2340: fntnum6 current font is ammi10 
2341: setchar58 h:=27599087+182044=27781131, hh:=1760 
[:]
2342: pop 
level 1:(h=0,v=11488345,w=0,x=0,y=786432,z=0,hh=0,vv=728) 
2343: pop 
level 0:(h=0,v=42152922,w=0,x=0,y=0,z=0,hh=0,vv=2670) 
2344: down3 1572864 v:=42152922+1572864=43725786, vv:=2770 
2348: push 
level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770) 
2349: right4 15229092 h:=0+15229092=15229092, hh:=965 
[ ]
2354: fntnum0 current font is amr10 
2355: setchar49 h:=15229092+327680=15556772, hh:=986 
[1]
2356: pop 
level 0:(h=0,v=43725786,w=0,x=0,y=0,z=0,hh=0,vv=2770) 
2357: eop